(Un)Chaining Prometheus: is Law an Applicative Model?

An Applicative Study of Zipf’s Law on Web Cache

Studying the Web access characteristics is the foundation of managing Web cache efficiently. In order to get the characteristics of the Web system, it is for sure that the time interval during which measurements are made should be large enough. Many studies have demonstrated that Zipf’s law governs many features of the WWW and can be used to describe the popularity of the Web objects. In this p...

The Prometheus Database Model

This report presents the Prometheus database model. The model is designed to satisfy the requirements expressed in a previous document [RKB99]. The new model is based on a graph model and is extended with some mechanisms existing in other models (e.g. the differentiation between association and aggregation) and some new mechanisms not found anywhere (e.g. synonymy at all levels).

An Applicative Module Calculus

The SML-like module systems are small typed languages of their own. As is, one would expect a proof of their soundness following from a proof of subject reduction. Unfortunately, the subject-reduction property and the preservation of type abstraction seem to be incompatible. As a consequence, in relevant module systems, the theoretical study of reductions is meaningless, and for instance, the q...

؟is law an autonomous discipline

it is disputed whether the law is an autonomous discipline or not? the adherents of the autonomy of law mainly are they, legal scholarship should be about distinctively legal topics and is not or should not be about other topics. the supporters of dependence of law mainly are legal realism, economic analysis of law, law and society, critical legal studies movement. they say the governing presup...

Tying Prometheus down: the international law of human genetic manipulation.